Storm-dft 1.5.1
Date: Thu Mar 19 02:25:11 2020
Command line arguments: --dftfile vgs.5.dft --expectedtime --min --exact floats '--general:precision' 1e-20
Current working directory: /
WARN (GeneralSettings.cpp:110): Setting the precision option with module prefix does not effect all solvers. Consider setting --precision instead of --general:precision.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 193
Transitions: 897
Reward Models: none
State Labels: 4 labels
* A0_0_dc -> 0 item(s)
* A0_0_failed -> 0 item(s)
* init -> 1 item(s)
* failed -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Times:
Exploration: 0.018s
Building: 0.000s
Bisimulation: 0.000s
Modelchecking: 0.000s
Total: 0.019s
Result: [69176.8926776236039586365]